graph theory:strongly connected